If H and K are subgroups of G